Gene + protein coding gene MGI:1298378 7-dehydrocholesterol reductase genetic mapping O http://identifiers.org/mgd/MGI:1298378 Dhcr7